Compilation pour cibles hétérogènes: automatisation des analyses, transformations et décisions nécessaires

نویسندگان

  • Serge GUELTON
  • Ronan KERYELL
  • François IRIGOIN
چکیده

Résumé Les accélérateurs matériels, telles les cartes FPGA ou les cartes graphiques, apportent une alternative ou un complément intéressant aux processeurs multi-cœurs classiques pour de nombreuses applications scientifiques. Il est cependant coûteux et difficile d’y porter des applications existantes ; et les compilateurs standards, traditionnellement portés sur la génération de code pour processeurs séquentiels, ne disposent pas des abstractions nécessaires à la génération automatique et re-ciblable de code pour ces nouvelles cibles. Cet article présente un ensemble de transformations de code de haut niveau reposant sur une abstraction à plusieurs niveaux de l’architecture des accélérateurs actuels et permettant de construire des compilateurs spécifiques à chaque cible en se basant sur une infrastructure commune. Ces transformations ont été utilisées pour construire avec PIPS deux compilateurs complètement automatisés pour un processeur embarqué à base de FPGA et pour GPU NVIDIA avec PAR4ALL.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Enrichissement d'ontologies dans le secteur de l'eau douce en environnement Internet distribué et multilingue

Notre travail s’inscrit dans le contexte du projet européen SEMIDE (Système euro méditerranéen d’information sur les savoir-faire dans le domaine de l’eau). Le SEMIDE vise à développer une ontologie spécifique aux connaissances dans le domaine de l’eau. Ce travail s’est basé dans un premier temps sur un thésaurus du domaine de l’eau, or les ressources d’informations ne cessent de s’accroître de...

متن کامل

Processus de traitement de données radar pour la reconnaissance/identification de cibles aériennes

Dans ce papier, nous proposons un processus de traitement permettant l’extraction des connaissances à partir d’un volume important de données pour l’aide à la décision dans un contexte opérationnel de la reconnaissance/identification de cibles radar non-coopératives. Les premiers travaux ont donc consistés à adapter le processus ECD (FIG.1) dans le domaine radar en tenant compte de la nature de...

متن کامل

Polyèdres et compilation

Résumé La première utilisation de polyèdres pour résoudre un problème de compilation, la parallélisation automatique de boucles en présence d’appels de procédure, a été décrite et implémenté il y a près de trente ans. Le modèle polyédrique est maintenant reconnu internationalement et est en phase d’intégration dans le compilateur GCC, bien que la complexité exponentielle des algorithmes associé...

متن کامل

Typage fort et typage souple des collections topologiques et des transformations

Les collections topologiques permettent de considérer uniformément de nombreuses structures de données dans un langage de programmation et sont manipulées par des fonctions définies par filtrage appelées des transformations. Nous présentons dans cet article deux systèmes de types pour des langages intégrant les collections topologiques et les transformations. Le premier est un système à typage ...

متن کامل

Conditions d’optimalité du second ordre nécessaires ou suffisantes pour les problèmes de commande optimale avec une contrainte sur l’état et une commande scalaires

Dans cette Note, nous étudions un problème de commande optimale avec une commande scalaire et une contrainte sur l’état scalaire d’ordre quelconque. Les instants de jonction sont supposés en nombre fini. Nous obtenons des conditions d’optimalité du second ordre nécessaires ou suffisantes, qui permettent de caractériser la croissance quadratique. Pour citer cet article : J.F. Bonnans, A. Hermant...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011